Nuprl Definition : subtype
12,41
postcript
pdf
S
T
==
x
:
S
.
x
T
latex
Definitions
S
T
,
x
:
A
.
B
(
x
)
,
t
T
FDL editor aliases
subtype
origin
T == 
x:S. x 
T T == x:S. x T Tx:A. B(x) T